Digite uma palavra ou frase em qualquer idioma 👆
Idioma:
Tradução e análise de palavras por inteligência artificial ChatGPT
Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
- como a palavra é usada
- frequência de uso
- é usado com mais frequência na fala oral ou escrita
- opções de tradução de palavras
- exemplos de uso (várias frases com tradução)
- etimologia
O que (quem) é SECD machine - definição
SECD machine
The SECD machine is a highly influential (see: ) virtual machine and abstract machine intended as a target for functional programming language compilers. The letters stand for Stack, Environment, Control, Dump—the internal registers of the machine.
SECD machine
Stack Environment Control Dump machine
(SECD machine) The first abstract machine for reducing
lambda-calculus expressions, invented by P. J. Landin. The
machine has four registers holding pointers to {linked
lists} operated as push-down stacks which hold the
information required for the evaluation of an expression. The
registers point to (1) Stack which holds the arguments of
partially evaluated expressions and results of completely
evaluated ones, (2) Environment where the current expression
being evaluated is stored, (3) Control which holds the machine
instructions that manipulate the contents of the four
registers that represent the expression being evaluated, (4)
Dump on which the state of the machine is temporarily saved
during the evaluation of expressions. See also Lispkit.
